A multi-threaded functional programming language with dynamic symbol bindings which provides a state of art runtime engine for 32- and 64-bit platform and a rich set of platform independent libraries, compatible with C++ runtime operations, automatic ...

BitC is a systems programming language that combines the low level nature of C with the semantic rigor of Scheme or ML.

Offers documentation as a frequently asked questions list. Also provides links to general topic, technical and other resources.

Claus Reinke's , well organized bookmarks on FP.

Lists functional programs written primarily to perform to real-world tasks. Has pure programs (no side effects) and impure (some use of side effects). Languages: Caml, Clean, Erlang, Haskell, Miranda, Scheme, Standard ML.

Functional language developed mainly for Genetic Programming experiments. Inspired by ideas of other small, esoteric languages (Unlambda, Lazy K, Joy, Iota, Zot, ...), and pure functional Haskell.

A novel functional language that claims to be faster than C in some cases.

Functional language with inductive and coinductive types. Based on simply-typed lambda calculus augmented with sums, products, and mu and nu constructors for least (inductive) and greatest (coinductive) solutions to recursive type equations.

Functional, categorical language, by University of Calgary, Canada. Innovative organization: based on theory of strong categorical datatypes divided into 2 subclasses: inductive (built up by constructors in the familiar way), and coinductive (broken d...

Functional language in which types are first class values. Normal functions returning types reproduce the features of template classes of other languages. Links to many projects around the world based on Aldor.